Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
41	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
42	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
43	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
44	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language
45	An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 10:05:38 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Valuation Generalised Whitehead product Symbol
46	Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2013-11-29 09:30:12 Software Computing Compiler construction Programming language implementation Compiler optimizations Formal methods Edsger W. Dijkstra Predicate transformer semantics Optimizing compiler Static single assignment form Compiler Psyco
47	Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2012-10-02 09:49:19 Formal methods Logic in computer science Models of computation Programming language semantics Abstraction Kernel Abstract state machines Semantics Denotational semantics Operational semantics Refinement Limit
48	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler
49	Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:28:51 Software Computing Unified Modeling Language ISO standards Object Constraint Language ECO Query language Executable UML Denotational semantics Eclipse OCL GReAT

UPDATE